Stephan Kreutzer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2010 annual symposium - Snowbird, Utah, USA (2010.06.13-2010.06.16)] Proceedings of the 2010 annual symposium on Computational geometry - SoCG '10 - Linkless and flat embeddings in 3-space and the unknot problem

Kawarabayashi, Ken-ichi, Kreutzer, Stephan, Mohar, Bojan

Year:

2010

Language:

english

File:

PDF, 502 KB

english, 2010

2

A biomechanical, micro-computertomographic and histological analysis of the influence of diclofenac and prednisolone on fracture healing in vivo

Bissinger, Oliver, Kreutzer, Kilian, Götz, Carolin, Hapfelmeier, Alexander, Pautke, Christoph, Vogt, Stephan, Wexel, Gabriele, Wolff, Klaus-Dietrich, Tischer, Thomas, Prodinger, Peter Michael

Journal:

BMC Musculoskeletal Disorders

Year:

2016

Language:

english

File:

PDF, 1.41 MB

english, 2016

3

Deciding First-Order Properties of Nowhere Dense Graphs

Grohe, Martin, Kreutzer, Stephan, Siebertz, Sebastian

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 615 KB

english, 2017

4

Generalising automaticity to modal properties of finite structures

Anuj Dawar, Stephan Kreutzer

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 419 KB

english, 2007

5

Digraph decompositions and monotonicity in digraph searching

Stephan Kreutzer, Sebastian Ordyniak

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 393 KB

english, 2011

6

Special Issue on “Theory and Applications of Graph Searching Problems”

Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 142 KB

english, 2011

7

Field and laboratory experiments on net uptake of nitrate and ammonium by the roots of spruce (Picea abies) and beech (Fagus sylvatica) trees

ARTHUR GESSLER, STEPHAN SCHNEIDER, DOMINIK VON SENGBUSCH, PAUL WEBER, ULRIKE HANEMANN, CHRISTIAN HUBER, ANDREAS ROTHE, KARL KREUTZER, HEINZ RENNENBERG

Journal:

New Phytologist

Year:

1998

Language:

english

File:

PDF, 433 KB

english, 1998

8

Common mutations ofβ-cateninin adamantinomatous craniopharyngiomas but not in other tumours originating from the sellar region

Rolf Buslei, Michael Nolde, Bernd Hofmann, Stephan Meissner, Ilker Y. Eyupoglu, Florian Siebzehnrübl, Eric Hahnen, Jürgen Kreutzer, Rudolf Fahlbusch

Journal:

Acta Neuropathologica

Year:

2005

Language:

english

File:

PDF, 513 KB

english, 2005

9

Expressive equivalence of least and inflationary fixed-point logic

Stephan Kreutzer

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 210 KB

english, 2004

10

Backtracking games and inflationary fixed points

Anuj Dawar, Erich Grädel, Stephan Kreutzer

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

11

Digraph measures: Kelly decompositions, games, and orderings

Paul Hunter, Stephan Kreutzer

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 407 KB

english, 2008

12

Characterization of eight different tetracyclines: advances in fluorescence bone labeling

Christoph Pautke, Stephan Vogt, Kilian Kreutzer, Cornelia Haczek, Gabriele Wexel, Andreas Kolk, Andreas B. Imhoff, Horst Zitzelsberger, Stefan Milz, Thomas Tischer

Journal:

Journal of Anatomy

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

13

Linkless and Flat Embeddings in 3-Space

Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar

Journal:

Discrete & Computational Geometry

Year:

2012

Language:

english

File:

PDF, 795 KB

english, 2012

14

The dag-width of directed graphs

Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdržálek

Journal:

Journal of Combinatorial Theory, Series B

Year:

2012

Language:

english

File:

PDF, 346 KB

english, 2012

15

Prospective study of anxiety, pain and complications due to prostate biopsy

Niklas Kreutzer, Stephan Wolter, Gerald Haupt, Udo Engelmann

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 178 KB

english, 2002

16

Foreword: Special Issue on Theory and Applications of Graph Searching Problems

Fomin, Fedor V., Fraigniaud, Pierre, Kreutzer, Stephan, Thilikos, Dimitrios M.

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 124 KB

english, 2012

17

Field and Laboratory Experiments on Net Uptake of Nitrate and Ammonium by the Roots of Spruce (Picea abies) and Beech (Fagus sylvatica) Trees

Arthur Gessler, Stephan Schneider, Dominik Von Sengbusch, Paul Weber, Ulrike Hanemann, Christian Huber, Andreas Rothe, Karl Kreutzer and Heinz Rennenberg

Journal:

New Phytologist

Year:

1998

Language:

english

File:

PDF, 1.24 MB

english, 1998

18

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - First-Order and Monadic Second-Order Model-Checking on Ordered Structures

Engelmann, Viktor, Kreutzer, Stephan, Siebertz, Sebastian

Year:

2012

Language:

english

File:

PDF, 279 KB

english, 2012

19

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Quantitative Monadic Second-Order Logic

Kreutzer, Stephan, Riveros, Cristian

Year:

2013

Language:

english

File:

PDF, 415 KB

english, 2013

20

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes

Eickmeyer, Kord, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan

Year:

2013

Language:

english

File:

PDF, 405 KB

english, 2013

21

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Locally Excluding a Minor

Dawar, Anuj, Grohe, Martin, Kreutzer, Stephan

Year:

2007

Language:

english

File:

PDF, 191 KB

english, 2007

22

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Decomposition theorems and model-checking for the modal μ -calculus

Bojanczyk, Mikolaj, Dittmann, Christoph, Kreutzer, Stephan

Year:

2014

Language:

english

File:

PDF, 861 KB

english, 2014

23

[ACM Press the Forty-Seventh Annual ACM - Portland, Oregon, USA (2015.06.14-2015.06.17)] Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing - STOC '15 - The Directed Grid Theorem

Kawarabayashi, Ken-ichi, Kreutzer, Stephan

Year:

2015

Language:

english

File:

PDF, 1.77 MB

english, 2015

24

Inflationary fixed points in modal logic

Dawar, Anuj, Grädel, Erich, Kreutzer, Stephan

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 224 KB

english, 2004

25

[ACM Press the nineteenth ACM SIGMOD-SIGACT-SIGART symposium - Dallas, Texas, United States (2000.05.15-2000.05.18)] Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00 - Fixed-point query languages for linear constraint databases

Kreutzer, Stephan

Year:

2000

Language:

english

File:

PDF, 284 KB

english, 2000

26

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - On Hanf-equivalence and the number of embeddings of small induced subgraphs

Kreutzer, Stephan, Schweikardt, Nicole

Year:

2014

Language:

english

File:

PDF, 348 KB

english, 2014

27

Barriers to cardiovascular device innovation in Europe

Pinto, Fausto, Fraser, Alan G., Kautzner, Josef, Kreutzer, Katja, Piat, Stéphane, Siebert, Markus, Vardas, Panos, Windecker, Stephan

Journal:

European Heart Journal

Year:

2015

Language:

english

File:

PDF, 101 KB

english, 2015

28

Finite model theory and its applications. Texts in Theoretical Computer Scienceby E. Grädel; P. G. Kolaitis; L. Libkin; M. Marx; J. Spencer; M. Y. Vardi; Y. Venema; S. Weinstein

Review by: Stephan Kreutzer

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 365 KB

english, 2010

29

Graph operations on parity games and polynomial-time algorithms

Dittmann, Christoph, Kreutzer, Stephan, Tomescu, Alexandru I.

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 475 KB

english, 2016

30

Complexity and monotonicity results for domination games

Kreutzer, Stephan, Ordyniak, Sebastian

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1008 KB

english, 2016

31

Directed elimination games

Engelmann, Viktor, Ordyniak, Sebastian, Kreutzer, Stephan

Journal:

Discrete Applied Mathematics

Year:

2016

Language:

english

File:

PDF, 447 KB

english, 2016

32

Does cefuroxime alter fracture healing in vivo? A micro-computertomographic, biomechanical, and histomorphometric evaluation using a rat fracture model

Bissinger, Oliver, Kreutzer, Kilian, Wolff, Klaus-Dietrich, Wexel, Gabriele, Hapfelmeier, Alexander, Pautke, Christoph, Vogt, Stephan, Michael Prodinger, Peter, Tischer, Thomas

Journal:

Journal of Biomedical Materials Research Part B: Applied Biomaterials

Year:

2016

Language:

english

File:

PDF, 678 KB

english, 2016

33

DAG-width is PSPACE-complete

Amiri, Saeed Akhoondian, Kreutzer, Stephan, Rabinovich, Roman

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 733 KB

english, 2016

34

Englische Literaturgeschichte ||

Seeber, Hans Ulrich, Berensmeyer, Ingo, Kohl, Stephan, Kreutzer, Eberhard, Maack, Annegret, Middeke, Martin, Pfister, Manfred, Schmidt, Johann N., Zapf, Hubert, Zettelmann, Eva

Year:

2012

Language:

german

File:

PDF, 39.24 MB

german, 2012

35

Hypothalamic Inflammation in Human Obesity is Mediated by Environmental and Genetic Factors

Kreutzer, Carina, Peters, Sönke, Schulte, Dominik M., Fangmann, Daniela, Türk, Kathrin, Wolff, Stephan, van Eimeren, Thilo, Ahrens, Markus, Beckmann, Jan, Schafmayer, Clemens, Becker, Thomas, Kerby, T

Journal:

Year:

2017

Language:

english

File:

PDF, 7.02 MB

english, 2017

36

Matching Connectivity: On the Structure of Graphs with Perfect Matchings

Giannopoulou, Archontia C., Kreutzer, Stephan, Wiederrecht, Sebastian

Journal:

Electronic Notes in Discrete Mathematics

Year:

2017

Language:

english

File:

PDF, 231 KB

english, 2017

37

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion

van den Heuvel, Jan, Kreutzer, Stephan, Pilipczuk, Michal, Quiroz, Daniel A., Rabinovich, Roman, Siebertz, Sebastian

Year:

2017

Language:

english

File:

PDF, 277 KB

english, 2017

38

The IR-RF alpha-efficiency of K-feldspar

Kreutzer, Sebastian, Martin, Loïc, Dubernet, Stéphan, Mercier, Norbert

Journal:

Radiation Measurements

Year:

2018

Language:

english

File:

PDF, 7.48 MB

english, 2018

39

[Society for Industrial and Applied Mathematics Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms - ()] Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms - Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes

Kreutzer, Stephan, Rabinovich, Roman, Siebertz, Sebastian

Language:

english

File:

PDF, 518 KB

english

40

Coloring and Covering Nowhere Dense Graphs

Grohe, Martin, Kreutzer, Stephan, Rabinovich, Roman, Siebertz, Sebastian, Stavropoulos, Konstantinos

Journal:

SIAM Journal on Discrete Mathematics

Year:

2018

Language:

english

File:

PDF, 1.98 MB

english, 2018

41

Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes

Kreutzer, Stephan, Rabinovich, Roman, Siebertz, Sebastian

Journal:

ACM Transactions on Algorithms

Year:

2018

Language:

english

File:

PDF, 334 KB

english, 2018

42

Routing with congestion in acyclic digraphs

Akhoondian Amiri, Saeed, Kreutzer, Stephan, Marx, Dániel, Rabinovich, Roman

Journal:

Information Processing Letters

Year:

2019

Language:

english

File:

PDF, 363 KB

english, 2019

43

E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp.

Kreutzer, Stephan

Journal:

Bulletin of Symbolic Logic

Year:

2010

File:

PDF, 52 KB

2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски